Homotopy type theory - univalent foundations of mathematics
- Författare
- (The Univalent Foundations Program, Institute for Advanced Study.)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Univalent Foundations Program, Institute for Advanced Study | 2013 | New Jersey, Princeton, New Jersey | xiii, 605 pages illustrations 24 cm |